Deciding inclusion of set constants over infinite non-strict data structures

Deciding subset relationship of co-inductively defined set constants

Static analysis of different non-strict functional programming languages makes use of set constants like Top, Inf, and Bot denoting all expressions, all lists without a last Nil as tail, and all non-terminating programs, respectively. We use a set language that permits union, constructors and recursive definition of set constants with a greatest fixpoint semantics. This paper proves decidabilit...

Modified Noor iterations for infinite family of strict pseudo-contraction mappings

Addendum to: "Infinite-dimensional versions of the primary, cyclic and Jordan decompositions", by M. Radjabalipour

In his paper mentioned in the title, which appears in the same issue of this journal, Mehdi Radjabalipour derives the cyclic decomposition of an algebraic linear transformation. A more general structure theory for linear transformations appears in Irving Kaplansky's lovely 1954 book on infinite abelian groups. We present a translation of Kaplansky's results for abelian groups into the terminolo...

Estimation of Fracture path in the Structures and the Influences of Non-singular term on crack propagation

In the present research, a fully Automatic crack propagation as one of the most complicated issues in fracture mechanics is studied whether there is an inclusion or no inclusion in the structures. In this study The Extended Finite Element Method (XFEM) is utilized because of several drawbacks in standard finite element method in crack propagation modeling. Estimated Crack paths are obtained by ...

Strong convergence of variational inequality problem Over the set of common fixed points of a family of demi-contractive mappings

In this paper, by using the viscosity iterative method and the hybrid steepest-descent method, we present a new algorithm for solving the variational inequality problem. The sequence generated by this algorithm is strong convergence to a common element of the set of common zero points of a finite family of inverse strongly monotone operators and the set of common fixed points of a finite family...